Definitions | t T, type List, A List , s = t, x:A B(x), x:A. B(x), [car / cdr], y=f*(x) via L, Type, left + right, P Q, f(a), a < b, P  Q, , [], {x:A| B(x)} , , |g|, S T, last(L), x:A B(x), P & Q, hd(l), {T}, Void, P   Q, False, A, Dec(P), A B, b, x:A. B(x), b | a, a ~ b, a b, a <p b, a < b, A c B, x f y, x L. P(x), ( x L.P(x)), ||as||, #$n, i j , , , <a, b> |